Pemetaan matematis dan pemodelan data berfungsi sebagai jembatan antara teori himpunan abstrak dan realitas komputasi. Dalam kerangka ini, sebuah algoritma berfungsi sebagai transformasi formal dan deterministik di mana masukan terstruktur diproses melalui instruksi yang tepat untuk menghasilkan keluaran yang benar. Ini menetapkan dasar logis bagi semua arsitektur perangkat lunak dan basis data.
Sifat-Sifat Algoritma
Algoritma adalah metode langkah demi langkah dalam memecahkan masalah, ditandai oleh tujuh pilar kritis:
- Masukan: Algoritma menerima data dari himpunan yang ditentukan.
- Keluaran: Algoritma menghasilkan hasil (solusi) dari himpunan yang ditentukan.
- Presisi: Setiap langkah dinyatakan dengan kejelasan mutlak.
- Determinisme: Hasil sementara bersifat unik dan ditentukan hanya oleh masukan serta langkah-langkah sebelumnya.
- Keterbatasan: Proses berhenti setelah sejumlah instruksi yang terbatas.
- Keberhasilan: Keluaran memecahkan masalah seperti yang dimaksudkan.
- Kebiasaan Umum: Prosedur berlaku untuk seluruh kelas masukan, bukan hanya satu kasus saja.
Algoritma 4.1.1: Menemukan Nilai Maksimum dari Tiga Bilangan
Hubungan terner sederhana ini menunjukkan presisi dan determinisme. Terlepas dari nilai $a, b,$ dan $c$, langkah-langkah mengikuti jalur logika yang kaku.
Trek Pseudokode
max3(a, b, c) {
large = a
jika (b > large) large = b
jika (c > large) large = c
kembalikan large
}Pemodelan Data dan Invarian Putaran
Dalam struktur data yang lebih kompleks, seperti urutan ($s_1, ..., s_n$), kita menggunakan Algoritma 4.1.2. Untuk memastikan algoritma semacam itu benar, kita bergantung pada induksi dan konsep invarian putaran.
Algoritma 4.1.2: Menemukan Nilai Maksimum dalam Urutan
max(s, n) {
large = s_1
untuk i = 2 sampai n
jika (s_i > large)
large = s_i
kembalikan large
}Invarian Putaran: "large adalah nilai terbesar dalam sub-urutan $s_1, ..., s_i$". Sifat ini tetap benar di setiap iterasi, membuktikan kebenarannya melalui induksi.
🎯 Prinsip Inti: Validitas Pemetaan
Fungsi matematis yang valid mengharuskan setiap elemen dalam domain untuk dipetakan ke tepat satu elemen dalam kodomain. Kehadiran panah yang hilang atau beberapa panah dari sumber tunggal akan merusak status fungsi, mencerminkan mengapa algoritma non-deterministik atau tidak lengkap gagal dalam praktik.